Merge branch 'just-popover-menu-things' into 'master'
authorTimm Bäder <mail@baedert.org>
Mon, 23 Jul 2018 18:55:55 +0000 (18:55 +0000)
committerTimm Bäder <mail@baedert.org>
Mon, 23 Jul 2018 18:55:55 +0000 (18:55 +0000)
Post-gizmo GtkPopoverMenu fixes

See merge request GNOME/gtk!264


Trivial merge